lateral ditch